{
printf("/* MACHINE GENERATED; DO NOT EDIT */\n");
printf("#define VMX_ASSIST_CTX_GS_SEL 0x%x\n",
- offsetof(struct vmx_assist_context, gs_sel));
+ (unsigned int)offsetof(struct vmx_assist_context, gs_sel));
printf("#define VMX_ASSIST_CTX_FS_SEL 0x%x\n",
- offsetof(struct vmx_assist_context, fs_sel));
+ (unsigned int)offsetof(struct vmx_assist_context, fs_sel));
printf("#define VMX_ASSIST_CTX_DS_SEL 0x%x\n",
- offsetof(struct vmx_assist_context, ds_sel));
+ (unsigned int)offsetof(struct vmx_assist_context, ds_sel));
printf("#define VMX_ASSIST_CTX_ES_SEL 0x%x\n",
- offsetof(struct vmx_assist_context, es_sel));
+ (unsigned int)offsetof(struct vmx_assist_context, es_sel));
printf("#define VMX_ASSIST_CTX_SS_SEL 0x%x\n",
- offsetof(struct vmx_assist_context, ss_sel));
+ (unsigned int)offsetof(struct vmx_assist_context, ss_sel));
printf("#define VMX_ASSIST_CTX_ESP 0x%x\n",
- offsetof(struct vmx_assist_context, esp));
+ (unsigned int)offsetof(struct vmx_assist_context, esp));
printf("#define VMX_ASSIST_CTX_EFLAGS 0x%x\n",
- offsetof(struct vmx_assist_context, eflags));
+ (unsigned int)offsetof(struct vmx_assist_context, eflags));
printf("#define VMX_ASSIST_CTX_CS_SEL 0x%x\n",
- offsetof(struct vmx_assist_context, cs_sel));
+ (unsigned int)offsetof(struct vmx_assist_context, cs_sel));
printf("#define VMX_ASSIST_CTX_EIP 0x%x\n",
- offsetof(struct vmx_assist_context, eip));
+ (unsigned int)offsetof(struct vmx_assist_context, eip));
printf("#define VMX_ASSIST_CTX_CR0 0x%x\n",
- offsetof(struct vmx_assist_context, cr0));
+ (unsigned int)offsetof(struct vmx_assist_context, cr0));
return 0;
}